Note on the Intuitionistic Logic of False Belief

A Short Note on Intuitionistic Propositional Logic with Multiple Conclusions

It is a common misconception among logicians to think that intuitionism is necessarily tied-up with single conclusion (sequent or Natural Deduction) calculi. Single conclusion calculi can be used and are convenient, but they are by no means necessary, as shown by such influential authors as Kleene, Takeuti and Dummett, to cite only three. If single conclusions are not necessary, how do we guara...

the effects of cognitive strategies- note making and underlining- on iranian efl learners’ reading comprehension

هدف از انجام این مطالعه ، بررسی اثرات استفاده از استراتژی های شناختی یعنی "نت برداری" و "زیر خط کردن" بر روی عملکرد درک مطلب زبان آموزان ایرانی می باشد. به این منظور، 60 زبان آموز دختر سال چهارم دبیرستان از طریق آزمون پیشرفت زبان انگلیسی (نلسون)، از یک جامعه آماری بزرگتر انتخاب شدند. سپس به صورت تصادفی به سه گروه که هر گروه شامل ?0 دانش آموز همسان بود، تقسیم شدند: دو گروه آزمایش(گروه "نت برداری...

On the Interpretation of Intuitionistic Logic

Alongside theoretical logic, which systematises the proof schemata of theoretical truths, one can systematise the schemata of problem-solving, e.g. those of geometric construction problems. Then, corresponding to the principle of the syllogism, we find for example, the following principle: If we can reduce the solution of b to that of a, and reduce the solution of c to that of b, then we can al...

A NOTE ON INTUITIONISTIC FUZZY MAPPINGS

In this paper, the concept of intuitionistic fuzzy mapping as a generalization of fuzzy mapping is presented, and its' relationship with intuitionistic fuzzy relations is derived. Moreover, some basicoperations of intuitionistic fuzzy mappings are defined, hence we can conclude that all of intuitionistic fuzzy mappings constitute a soft algebrawith respect to these operations. Afterwards, the A...

Semantical Observations on the Embedding of Intuitionistic Logic into Intuitionistic Linear Logic